<?php
/**
 * Created by PhpStorm.
 * User: lili
 * Date: 19-3-23
 * Time: 下午4:57
 */

function microtime_float()
{
    list($usec, $sec) = explode(" ", microtime());
    return ((float)$usec + (float)$sec);
}